TSTP Solution File: SET018^7 by SInE---0.4